/**********************************************************************/
/*   ____  ____                                                       */
/*  /   /\/   /                                                       */
/* /___/  \  /                                                        */
/* \   \   \/                                                       */
/*  \   \        Copyright (c) 2003-2009 Xilinx, Inc.                */
/*  /   /          All Right Reserved.                                 */
/* /---/   /\                                                         */
/* \   \  /  \                                                      */
/*  \___\/\___\                                                    */
/***********************************************************************/

/* This file is designed for use with ISim build 0x8ddf5b5d */

#define XSI_HIDE_SYMBOL_SPEC true
#include "xsi.h"
#include <memory.h>
#ifdef __GNUC__
#include <stdlib.h>
#else
#include <malloc.h>
#define alloca _alloca
#endif
static const char *ng0 = "/home/tom/Dropbox/sd_card/data_tx.vhd";
extern char *IEEE_P_2592010699;

unsigned char ieee_p_2592010699_sub_1744673427_503743352(char *, char *, unsigned int , unsigned int );
unsigned char ieee_p_2592010699_sub_2507238156_503743352(char *, unsigned char , unsigned char );


static void work_a_3997988181_3212880686_p_0(char *t0)
{
    char *t1;
    unsigned char t2;
    char *t3;
    char *t4;
    unsigned char t5;
    char *t6;
    char *t7;
    unsigned char t8;
    unsigned char t9;
    char *t10;
    char *t11;
    char *t12;
    char *t13;
    int t14;
    int t15;
    int t16;
    int t17;
    static char *nl0[] = {&&LAB6, &&LAB7, &&LAB8, &&LAB9, &&LAB10, &&LAB11};

LAB0:    xsi_set_current_line(92, ng0);
    t1 = (t0 + 708U);
    t2 = ieee_p_2592010699_sub_1744673427_503743352(IEEE_P_2592010699, t1, 0U, 0U);
    if (t2 != 0)
        goto LAB2;

LAB4:
LAB3:    t1 = (t0 + 3844);
    *((int *)t1) = 1;

LAB1:    return;
LAB2:    xsi_set_current_line(94, ng0);
    t3 = (t0 + 1928U);
    t4 = *((char **)t3);
    t5 = *((unsigned char *)t4);
    t3 = (char *)((nl0) + t5);
    goto **((char **)t3);

LAB5:    goto LAB3;

LAB6:    xsi_set_current_line(96, ng0);
    t6 = (t0 + 824U);
    t7 = *((char **)t6);
    t8 = *((unsigned char *)t7);
    t9 = (t8 == (unsigned char)3);
    if (t9 != 0)
        goto LAB13;

LAB15:    xsi_set_current_line(99, ng0);
    t1 = (t0 + 3928);
    t3 = (t1 + 32U);
    t4 = *((char **)t3);
    t6 = (t4 + 32U);
    t7 = *((char **)t6);
    *((unsigned char *)t7) = (unsigned char)0;
    xsi_driver_first_trans_fast(t1);

LAB14:    goto LAB5;

LAB7:    xsi_set_current_line(104, ng0);
    t1 = (t0 + 1468U);
    t3 = *((char **)t1);
    t14 = *((int *)t3);
    t2 = (t14 == 3);
    if (t2 != 0)
        goto LAB16;

LAB18:    xsi_set_current_line(108, ng0);
    t1 = (t0 + 1468U);
    t3 = *((char **)t1);
    t14 = *((int *)t3);
    t15 = (t14 + 1);
    t1 = (t0 + 3964);
    t4 = (t1 + 32U);
    t6 = *((char **)t4);
    t7 = (t6 + 32U);
    t10 = *((char **)t7);
    *((int *)t10) = t15;
    xsi_driver_first_trans_fast(t1);
    xsi_set_current_line(109, ng0);
    t1 = (t0 + 3928);
    t3 = (t1 + 32U);
    t4 = *((char **)t3);
    t6 = (t4 + 32U);
    t7 = *((char **)t6);
    *((unsigned char *)t7) = (unsigned char)1;
    xsi_driver_first_trans_fast(t1);

LAB17:    goto LAB5;

LAB8:    xsi_set_current_line(114, ng0);
    t1 = (t0 + 3928);
    t3 = (t1 + 32U);
    t4 = *((char **)t3);
    t6 = (t4 + 32U);
    t7 = *((char **)t6);
    *((unsigned char *)t7) = (unsigned char)3;
    xsi_driver_first_trans_fast(t1);
    goto LAB5;

LAB9:    xsi_set_current_line(118, ng0);
    t1 = (t0 + 1284U);
    t3 = *((char **)t1);
    t14 = *((int *)t3);
    t1 = (t0 + 2304U);
    t4 = *((char **)t1);
    t15 = *((int *)t4);
    t16 = (t15 - 1);
    t2 = (t14 == t16);
    if (t2 != 0)
        goto LAB19;

LAB21:    xsi_set_current_line(121, ng0);
    t1 = (t0 + 3928);
    t3 = (t1 + 32U);
    t4 = *((char **)t3);
    t6 = (t4 + 32U);
    t7 = *((char **)t6);
    *((unsigned char *)t7) = (unsigned char)3;
    xsi_driver_first_trans_fast(t1);

LAB20:    goto LAB5;

LAB10:    xsi_set_current_line(126, ng0);
    t1 = (t0 + 1284U);
    t3 = *((char **)t1);
    t14 = *((int *)t3);
    t1 = (t0 + 2304U);
    t4 = *((char **)t1);
    t15 = *((int *)t4);
    t16 = (t15 + 16);
    t17 = (t16 - 1);
    t2 = (t14 == t17);
    if (t2 != 0)
        goto LAB22;

LAB24:    xsi_set_current_line(129, ng0);
    t1 = (t0 + 3928);
    t3 = (t1 + 32U);
    t4 = *((char **)t3);
    t6 = (t4 + 32U);
    t7 = *((char **)t6);
    *((unsigned char *)t7) = (unsigned char)4;
    xsi_driver_first_trans_fast(t1);

LAB23:    goto LAB5;

LAB11:    xsi_set_current_line(134, ng0);
    t1 = (t0 + 3928);
    t3 = (t1 + 32U);
    t4 = *((char **)t3);
    t6 = (t4 + 32U);
    t7 = *((char **)t6);
    *((unsigned char *)t7) = (unsigned char)0;
    xsi_driver_first_trans_fast(t1);
    goto LAB5;

LAB12:    xsi_set_current_line(138, ng0);
    t1 = (t0 + 3928);
    t3 = (t1 + 32U);
    t4 = *((char **)t3);
    t6 = (t4 + 32U);
    t7 = *((char **)t6);
    *((unsigned char *)t7) = (unsigned char)0;
    xsi_driver_first_trans_fast(t1);
    goto LAB5;

LAB13:    xsi_set_current_line(97, ng0);
    t6 = (t0 + 3928);
    t10 = (t6 + 32U);
    t11 = *((char **)t10);
    t12 = (t11 + 32U);
    t13 = *((char **)t12);
    *((unsigned char *)t13) = (unsigned char)1;
    xsi_driver_first_trans_fast(t6);
    goto LAB14;

LAB16:    xsi_set_current_line(105, ng0);
    t1 = (t0 + 3964);
    t4 = (t1 + 32U);
    t6 = *((char **)t4);
    t7 = (t6 + 32U);
    t10 = *((char **)t7);
    *((int *)t10) = 0;
    xsi_driver_first_trans_fast(t1);
    xsi_set_current_line(106, ng0);
    t1 = (t0 + 3928);
    t3 = (t1 + 32U);
    t4 = *((char **)t3);
    t6 = (t4 + 32U);
    t7 = *((char **)t6);
    *((unsigned char *)t7) = (unsigned char)2;
    xsi_driver_first_trans_fast(t1);
    goto LAB17;

LAB19:    xsi_set_current_line(119, ng0);
    t1 = (t0 + 3928);
    t6 = (t1 + 32U);
    t7 = *((char **)t6);
    t10 = (t7 + 32U);
    t11 = *((char **)t10);
    *((unsigned char *)t11) = (unsigned char)4;
    xsi_driver_first_trans_fast(t1);
    goto LAB20;

LAB22:    xsi_set_current_line(127, ng0);
    t1 = (t0 + 3928);
    t6 = (t1 + 32U);
    t7 = *((char **)t6);
    t10 = (t7 + 32U);
    t11 = *((char **)t10);
    *((unsigned char *)t11) = (unsigned char)5;
    xsi_driver_first_trans_fast(t1);
    goto LAB23;

}

static void work_a_3997988181_3212880686_p_1(char *t0)
{
    char *t1;
    char *t2;
    char *t3;
    char *t4;
    char *t5;
    unsigned char t6;
    char *t7;
    char *t8;
    static char *nl0[] = {&&LAB3, &&LAB7, &&LAB7, &&LAB4, &&LAB5, &&LAB6};

LAB0:    xsi_set_current_line(152, ng0);
    t1 = (t0 + 4000);
    t2 = (t1 + 32U);
    t3 = *((char **)t2);
    t4 = (t3 + 32U);
    t5 = *((char **)t4);
    *((unsigned char *)t5) = (unsigned char)2;
    xsi_driver_first_trans_fast(t1);
    xsi_set_current_line(153, ng0);
    t1 = (t0 + 4036);
    t2 = (t1 + 32U);
    t3 = *((char **)t2);
    t4 = (t3 + 32U);
    t5 = *((char **)t4);
    *((unsigned char *)t5) = (unsigned char)2;
    xsi_driver_first_trans_fast(t1);
    xsi_set_current_line(155, ng0);
    t1 = (t0 + 1928U);
    t2 = *((char **)t1);
    t6 = *((unsigned char *)t2);
    t1 = (char *)((nl0) + t6);
    goto **((char **)t1);

LAB2:    t1 = (t0 + 3852);
    *((int *)t1) = 1;

LAB1:    return;
LAB3:    goto LAB2;

LAB4:    xsi_set_current_line(159, ng0);
    t3 = (t0 + 4036);
    t4 = (t3 + 32U);
    t5 = *((char **)t4);
    t7 = (t5 + 32U);
    t8 = *((char **)t7);
    *((unsigned char *)t8) = (unsigned char)3;
    xsi_driver_first_trans_fast(t3);
    xsi_set_current_line(160, ng0);
    t1 = (t0 + 4000);
    t2 = (t1 + 32U);
    t3 = *((char **)t2);
    t4 = (t3 + 32U);
    t5 = *((char **)t4);
    *((unsigned char *)t5) = (unsigned char)3;
    xsi_driver_first_trans_fast(t1);
    goto LAB2;

LAB5:    xsi_set_current_line(162, ng0);
    t1 = (t0 + 4036);
    t2 = (t1 + 32U);
    t3 = *((char **)t2);
    t4 = (t3 + 32U);
    t5 = *((char **)t4);
    *((unsigned char *)t5) = (unsigned char)3;
    xsi_driver_first_trans_fast(t1);
    goto LAB2;

LAB6:    xsi_set_current_line(164, ng0);
    t1 = (t0 + 4072);
    t2 = (t1 + 32U);
    t3 = *((char **)t2);
    t4 = (t3 + 32U);
    t5 = *((char **)t4);
    *((unsigned char *)t5) = (unsigned char)3;
    xsi_driver_first_trans_fast_port(t1);
    goto LAB2;

LAB7:    goto LAB2;

}

static void work_a_3997988181_3212880686_p_2(char *t0)
{
    char *t1;
    unsigned char t2;
    char *t3;
    char *t4;
    unsigned char t5;
    unsigned char t6;
    char *t7;
    char *t8;
    char *t9;
    char *t10;
    int t11;
    int t12;

LAB0:    xsi_set_current_line(178, ng0);
    t1 = (t0 + 708U);
    t2 = ieee_p_2592010699_sub_1744673427_503743352(IEEE_P_2592010699, t1, 0U, 0U);
    if (t2 != 0)
        goto LAB2;

LAB4:
LAB3:    t1 = (t0 + 3860);
    *((int *)t1) = 1;

LAB1:    return;
LAB2:    xsi_set_current_line(180, ng0);
    t3 = (t0 + 1836U);
    t4 = *((char **)t3);
    t5 = *((unsigned char *)t4);
    t6 = (t5 == (unsigned char)2);
    if (t6 != 0)
        goto LAB5;

LAB7:    xsi_set_current_line(183, ng0);
    t1 = (t0 + 1284U);
    t3 = *((char **)t1);
    t11 = *((int *)t3);
    t12 = (t11 + 1);
    t1 = (t0 + 4108);
    t4 = (t1 + 32U);
    t7 = *((char **)t4);
    t8 = (t7 + 32U);
    t9 = *((char **)t8);
    *((int *)t9) = t12;
    xsi_driver_first_trans_fast(t1);

LAB6:    goto LAB3;

LAB5:    xsi_set_current_line(181, ng0);
    t3 = (t0 + 4108);
    t7 = (t3 + 32U);
    t8 = *((char **)t7);
    t9 = (t8 + 32U);
    t10 = *((char **)t9);
    *((int *)t10) = 0;
    xsi_driver_first_trans_fast(t3);
    goto LAB6;

}

static void work_a_3997988181_3212880686_p_3(char *t0)
{
    char *t1;
    unsigned char t2;
    char *t3;
    char *t4;
    unsigned char t5;
    unsigned char t6;
    char *t7;
    int t8;
    unsigned int t9;
    unsigned int t10;
    unsigned int t11;
    char *t12;
    char *t13;
    char *t14;
    char *t15;
    char *t16;
    int t17;

LAB0:    xsi_set_current_line(195, ng0);
    t1 = (t0 + 708U);
    t2 = ieee_p_2592010699_sub_1744673427_503743352(IEEE_P_2592010699, t1, 0U, 0U);
    if (t2 != 0)
        goto LAB2;

LAB4:
LAB3:    t1 = (t0 + 3868);
    *((int *)t1) = 1;

LAB1:    return;
LAB2:    xsi_set_current_line(197, ng0);
    t3 = (t0 + 1836U);
    t4 = *((char **)t3);
    t5 = *((unsigned char *)t4);
    t6 = (t5 == (unsigned char)3);
    if (t6 != 0)
        goto LAB5;

LAB7:    xsi_set_current_line(222, ng0);
    t1 = (t0 + 916U);
    t3 = *((char **)t1);
    t1 = (t0 + 4144);
    t4 = (t1 + 32U);
    t7 = *((char **)t4);
    t12 = (t7 + 32U);
    t13 = *((char **)t12);
    memcpy(t13, t3, 8U);
    xsi_driver_first_trans_fast(t1);

LAB6:    goto LAB3;

LAB5:    xsi_set_current_line(199, ng0);
    t3 = (t0 + 1560U);
    t7 = *((char **)t3);
    t8 = (8 - 2);
    t9 = (7 - t8);
    t10 = (t9 * 1U);
    t11 = (0 + t10);
    t3 = (t7 + t11);
    t12 = (t0 + 4144);
    t13 = (t12 + 32U);
    t14 = *((char **)t13);
    t15 = (t14 + 32U);
    t16 = *((char **)t15);
    memcpy(t16, t3, 7U);
    xsi_driver_first_trans_delta(t12, 0U, 7U, 0LL);
    xsi_set_current_line(200, ng0);
    t1 = (t0 + 4144);
    t3 = (t1 + 32U);
    t4 = *((char **)t3);
    t7 = (t4 + 32U);
    t12 = *((char **)t7);
    *((unsigned char *)t12) = (unsigned char)2;
    xsi_driver_first_trans_delta(t1, 7U, 1, 0LL);
    xsi_set_current_line(202, ng0);
    t1 = (t0 + 1928U);
    t3 = *((char **)t1);
    t2 = *((unsigned char *)t3);
    t5 = (t2 == (unsigned char)3);
    if (t5 != 0)
        goto LAB8;

LAB10:
LAB9:    goto LAB6;

LAB8:    xsi_set_current_line(204, ng0);
    t1 = (t0 + 1376U);
    t4 = *((char **)t1);
    t8 = *((int *)t4);
    t17 = (8 - 1);
    t6 = (t8 == t17);
    if (t6 != 0)
        goto LAB11;

LAB13:    xsi_set_current_line(210, ng0);
    t1 = (t0 + 1376U);
    t3 = *((char **)t1);
    t8 = *((int *)t3);
    t17 = (t8 + 1);
    t1 = (t0 + 4180);
    t4 = (t1 + 32U);
    t7 = *((char **)t4);
    t12 = (t7 + 32U);
    t13 = *((char **)t12);
    *((int *)t13) = t17;
    xsi_driver_first_trans_fast(t1);
    xsi_set_current_line(213, ng0);
    t1 = (t0 + 1376U);
    t3 = *((char **)t1);
    t8 = *((int *)t3);
    t17 = (8 - 2);
    t2 = (t8 == t17);
    if (t2 != 0)
        goto LAB14;

LAB16:    xsi_set_current_line(216, ng0);
    t1 = (t0 + 4216);
    t3 = (t1 + 32U);
    t4 = *((char **)t3);
    t7 = (t4 + 32U);
    t12 = *((char **)t7);
    *((unsigned char *)t12) = (unsigned char)2;
    xsi_driver_first_trans_fast_port(t1);

LAB15:
LAB12:    goto LAB9;

LAB11:    xsi_set_current_line(205, ng0);
    t1 = (t0 + 916U);
    t7 = *((char **)t1);
    t1 = (t0 + 4144);
    t12 = (t1 + 32U);
    t13 = *((char **)t12);
    t14 = (t13 + 32U);
    t15 = *((char **)t14);
    memcpy(t15, t7, 8U);
    xsi_driver_first_trans_fast(t1);
    xsi_set_current_line(206, ng0);
    t1 = (t0 + 4180);
    t3 = (t1 + 32U);
    t4 = *((char **)t3);
    t7 = (t4 + 32U);
    t12 = *((char **)t7);
    *((int *)t12) = 0;
    xsi_driver_first_trans_fast(t1);
    xsi_set_current_line(207, ng0);
    t1 = (t0 + 4216);
    t3 = (t1 + 32U);
    t4 = *((char **)t3);
    t7 = (t4 + 32U);
    t12 = *((char **)t7);
    *((unsigned char *)t12) = (unsigned char)2;
    xsi_driver_first_trans_fast_port(t1);
    goto LAB12;

LAB14:    xsi_set_current_line(214, ng0);
    t1 = (t0 + 4216);
    t4 = (t1 + 32U);
    t7 = *((char **)t4);
    t12 = (t7 + 32U);
    t13 = *((char **)t12);
    *((unsigned char *)t13) = (unsigned char)3;
    xsi_driver_first_trans_fast_port(t1);
    goto LAB15;

}

static void work_a_3997988181_3212880686_p_4(char *t0)
{
    char t12[16];
    char t14[16];
    char *t1;
    unsigned char t2;
    char *t3;
    char *t4;
    unsigned char t5;
    unsigned char t6;
    char *t7;
    unsigned int t8;
    unsigned int t9;
    unsigned int t10;
    char *t11;
    char *t13;
    char *t15;
    char *t16;
    int t17;
    unsigned int t18;
    unsigned char t19;
    char *t20;
    char *t21;
    char *t22;
    char *t23;
    int t24;
    int t25;
    unsigned int t26;
    unsigned int t27;
    int t28;
    unsigned int t29;
    unsigned int t30;
    unsigned int t31;
    unsigned char t32;

LAB0:    xsi_set_current_line(235, ng0);
    t1 = (t0 + 708U);
    t2 = ieee_p_2592010699_sub_1744673427_503743352(IEEE_P_2592010699, t1, 0U, 0U);
    if (t2 != 0)
        goto LAB2;

LAB4:
LAB3:    t1 = (t0 + 3876);
    *((int *)t1) = 1;

LAB1:    return;
LAB2:    xsi_set_current_line(237, ng0);
    t3 = (t0 + 1744U);
    t4 = *((char **)t3);
    t5 = *((unsigned char *)t4);
    t6 = (t5 == (unsigned char)2);
    if (t6 != 0)
        goto LAB5;

LAB7:    xsi_set_current_line(240, ng0);
    t1 = (t0 + 1652U);
    t3 = *((char **)t1);
    t8 = (15 - 14);
    t9 = (t8 * 1U);
    t10 = (0 + t9);
    t1 = (t3 + t10);
    t4 = (t0 + 4252);
    t7 = (t4 + 32U);
    t11 = *((char **)t7);
    t13 = (t11 + 32U);
    t15 = *((char **)t13);
    memcpy(t15, t1, 3U);
    xsi_driver_first_trans_delta(t4, 0U, 3U, 0LL);
    xsi_set_current_line(241, ng0);
    t1 = (t0 + 1560U);
    t3 = *((char **)t1);
    t17 = (8 - 1);
    t24 = (t17 - 7);
    t8 = (t24 * -1);
    t9 = (1U * t8);
    t10 = (0 + t9);
    t1 = (t3 + t10);
    t2 = *((unsigned char *)t1);
    t4 = (t0 + 1652U);
    t7 = *((char **)t4);
    t25 = (15 - 15);
    t18 = (t25 * -1);
    t26 = (1U * t18);
    t27 = (0 + t26);
    t4 = (t7 + t27);
    t5 = *((unsigned char *)t4);
    t6 = ieee_p_2592010699_sub_2507238156_503743352(IEEE_P_2592010699, t2, t5);
    t11 = (t0 + 1652U);
    t13 = *((char **)t11);
    t28 = (11 - 15);
    t29 = (t28 * -1);
    t30 = (1U * t29);
    t31 = (0 + t30);
    t11 = (t13 + t31);
    t19 = *((unsigned char *)t11);
    t32 = ieee_p_2592010699_sub_2507238156_503743352(IEEE_P_2592010699, t6, t19);
    t15 = (t0 + 4252);
    t16 = (t15 + 32U);
    t20 = *((char **)t16);
    t21 = (t20 + 32U);
    t22 = *((char **)t21);
    *((unsigned char *)t22) = t32;
    xsi_driver_first_trans_delta(t15, 3U, 1, 0LL);
    xsi_set_current_line(242, ng0);
    t1 = (t0 + 1652U);
    t3 = *((char **)t1);
    t8 = (15 - 10);
    t9 = (t8 * 1U);
    t10 = (0 + t9);
    t1 = (t3 + t10);
    t4 = (t0 + 4252);
    t7 = (t4 + 32U);
    t11 = *((char **)t7);
    t13 = (t11 + 32U);
    t15 = *((char **)t13);
    memcpy(t15, t1, 6U);
    xsi_driver_first_trans_delta(t4, 4U, 6U, 0LL);
    xsi_set_current_line(243, ng0);
    t1 = (t0 + 1560U);
    t3 = *((char **)t1);
    t17 = (8 - 1);
    t24 = (t17 - 7);
    t8 = (t24 * -1);
    t9 = (1U * t8);
    t10 = (0 + t9);
    t1 = (t3 + t10);
    t2 = *((unsigned char *)t1);
    t4 = (t0 + 1652U);
    t7 = *((char **)t4);
    t25 = (15 - 15);
    t18 = (t25 * -1);
    t26 = (1U * t18);
    t27 = (0 + t26);
    t4 = (t7 + t27);
    t5 = *((unsigned char *)t4);
    t6 = ieee_p_2592010699_sub_2507238156_503743352(IEEE_P_2592010699, t2, t5);
    t11 = (t0 + 1652U);
    t13 = *((char **)t11);
    t28 = (4 - 15);
    t29 = (t28 * -1);
    t30 = (1U * t29);
    t31 = (0 + t30);
    t11 = (t13 + t31);
    t19 = *((unsigned char *)t11);
    t32 = ieee_p_2592010699_sub_2507238156_503743352(IEEE_P_2592010699, t6, t19);
    t15 = (t0 + 4252);
    t16 = (t15 + 32U);
    t20 = *((char **)t16);
    t21 = (t20 + 32U);
    t22 = *((char **)t21);
    *((unsigned char *)t22) = t32;
    xsi_driver_first_trans_delta(t15, 10U, 1, 0LL);
    xsi_set_current_line(244, ng0);
    t1 = (t0 + 1652U);
    t3 = *((char **)t1);
    t8 = (15 - 3);
    t9 = (t8 * 1U);
    t10 = (0 + t9);
    t1 = (t3 + t10);
    t4 = (t0 + 4252);
    t7 = (t4 + 32U);
    t11 = *((char **)t7);
    t13 = (t11 + 32U);
    t15 = *((char **)t13);
    memcpy(t15, t1, 4U);
    xsi_driver_first_trans_delta(t4, 11U, 4U, 0LL);
    xsi_set_current_line(245, ng0);
    t1 = (t0 + 1560U);
    t3 = *((char **)t1);
    t17 = (8 - 1);
    t24 = (t17 - 7);
    t8 = (t24 * -1);
    t9 = (1U * t8);
    t10 = (0 + t9);
    t1 = (t3 + t10);
    t2 = *((unsigned char *)t1);
    t4 = (t0 + 1652U);
    t7 = *((char **)t4);
    t25 = (15 - 15);
    t18 = (t25 * -1);
    t26 = (1U * t18);
    t27 = (0 + t26);
    t4 = (t7 + t27);
    t5 = *((unsigned char *)t4);
    t6 = ieee_p_2592010699_sub_2507238156_503743352(IEEE_P_2592010699, t2, t5);
    t11 = (t0 + 4252);
    t13 = (t11 + 32U);
    t15 = *((char **)t13);
    t16 = (t15 + 32U);
    t20 = *((char **)t16);
    *((unsigned char *)t20) = t6;
    xsi_driver_first_trans_delta(t11, 15U, 1, 0LL);

LAB6:    goto LAB3;

LAB5:    xsi_set_current_line(238, ng0);
    t3 = (t0 + 1652U);
    t7 = *((char **)t3);
    t8 = (15 - 14);
    t9 = (t8 * 1U);
    t10 = (0 + t9);
    t3 = (t7 + t10);
    t13 = ((IEEE_P_2592010699) + 2312);
    t15 = (t14 + 0U);
    t16 = (t15 + 0U);
    *((int *)t16) = 14;
    t16 = (t15 + 4U);
    *((int *)t16) = 0;
    t16 = (t15 + 8U);
    *((int *)t16) = -1;
    t17 = (0 - 14);
    t18 = (t17 * -1);
    t18 = (t18 + 1);
    t16 = (t15 + 12U);
    *((unsigned int *)t16) = t18;
    t11 = xsi_base_array_concat(t11, t12, t13, (char)97, t3, t14, (char)99, (unsigned char)2, (char)101);
    t18 = (15U + 1U);
    t19 = (16U != t18);
    if (t19 == 1)
        goto LAB8;

LAB9:    t16 = (t0 + 4252);
    t20 = (t16 + 32U);
    t21 = *((char **)t20);
    t22 = (t21 + 32U);
    t23 = *((char **)t22);
    memcpy(t23, t11, 16U);
    xsi_driver_first_trans_fast(t16);
    goto LAB6;

LAB8:    xsi_size_not_matching(16U, t18, 0);
    goto LAB9;

}

static void work_a_3997988181_3212880686_p_5(char *t0)
{
    char *t1;
    char *t2;
    char *t3;
    unsigned char t4;
    char *t5;
    char *t6;
    char *t7;
    char *t8;
    char *t9;
    int t10;
    int t11;
    unsigned int t12;
    unsigned int t13;
    unsigned int t14;
    static char *nl0[] = {&&LAB5, &&LAB6, &&LAB7, &&LAB8, &&LAB9, &&LAB10};

LAB0:    t1 = (t0 + 3664U);
    t2 = *((char **)t1);
    if (t2 == 0)
        goto LAB2;

LAB3:    goto *t2;

LAB2:    xsi_set_current_line(256, ng0);
    t2 = (t0 + 1928U);
    t3 = *((char **)t2);
    t4 = *((unsigned char *)t3);
    t2 = (char *)((nl0) + t4);
    goto **((char **)t2);

LAB4:    xsi_set_current_line(256, ng0);

LAB14:    t2 = (t0 + 3884);
    *((int *)t2) = 1;
    *((char **)t1) = &&LAB15;

LAB1:    return;
LAB5:    xsi_set_current_line(257, ng0);
    t5 = (t0 + 4288);
    t6 = (t5 + 32U);
    t7 = *((char **)t6);
    t8 = (t7 + 32U);
    t9 = *((char **)t8);
    *((unsigned char *)t9) = (unsigned char)4;
    xsi_driver_first_trans_fast_port(t5);
    goto LAB4;

LAB6:    xsi_set_current_line(257, ng0);
    t2 = (t0 + 4288);
    t3 = (t2 + 32U);
    t5 = *((char **)t3);
    t6 = (t5 + 32U);
    t7 = *((char **)t6);
    *((unsigned char *)t7) = (unsigned char)3;
    xsi_driver_first_trans_fast_port(t2);
    goto LAB4;

LAB7:    xsi_set_current_line(257, ng0);
    t2 = (t0 + 4288);
    t3 = (t2 + 32U);
    t5 = *((char **)t3);
    t6 = (t5 + 32U);
    t7 = *((char **)t6);
    *((unsigned char *)t7) = (unsigned char)2;
    xsi_driver_first_trans_fast_port(t2);
    goto LAB4;

LAB8:    xsi_set_current_line(257, ng0);
    t2 = (t0 + 1560U);
    t3 = *((char **)t2);
    t10 = (8 - 1);
    t11 = (t10 - 7);
    t12 = (t11 * -1);
    t13 = (1U * t12);
    t14 = (0 + t13);
    t2 = (t3 + t14);
    t4 = *((unsigned char *)t2);
    t5 = (t0 + 4288);
    t6 = (t5 + 32U);
    t7 = *((char **)t6);
    t8 = (t7 + 32U);
    t9 = *((char **)t8);
    *((unsigned char *)t9) = t4;
    xsi_driver_first_trans_fast_port(t5);
    goto LAB4;

LAB9:    xsi_set_current_line(257, ng0);
    t2 = (t0 + 1652U);
    t3 = *((char **)t2);
    t10 = (16 - 1);
    t11 = (t10 - 15);
    t12 = (t11 * -1);
    t13 = (1U * t12);
    t14 = (0 + t13);
    t2 = (t3 + t14);
    t4 = *((unsigned char *)t2);
    t5 = (t0 + 4288);
    t6 = (t5 + 32U);
    t7 = *((char **)t6);
    t8 = (t7 + 32U);
    t9 = *((char **)t8);
    *((unsigned char *)t9) = t4;
    xsi_driver_first_trans_fast_port(t5);
    goto LAB4;

LAB10:    xsi_set_current_line(257, ng0);
    t2 = (t0 + 2440U);
    t3 = *((char **)t2);
    t4 = *((unsigned char *)t3);
    t2 = (t0 + 4288);
    t5 = (t2 + 32U);
    t6 = *((char **)t5);
    t7 = (t6 + 32U);
    t8 = *((char **)t7);
    *((unsigned char *)t8) = t4;
    xsi_driver_first_trans_fast_port(t2);
    goto LAB4;

LAB11:    xsi_set_current_line(257, ng0);
    t2 = (t0 + 4288);
    t3 = (t2 + 32U);
    t5 = *((char **)t3);
    t6 = (t5 + 32U);
    t7 = *((char **)t6);
    *((unsigned char *)t7) = (unsigned char)4;
    xsi_driver_first_trans_fast_port(t2);
    goto LAB4;

LAB12:    t3 = (t0 + 3884);
    *((int *)t3) = 0;
    goto LAB2;

LAB13:    goto LAB12;

LAB15:    goto LAB13;

}


extern void work_a_3997988181_3212880686_init()
{
	static char *pe[] = {(void *)work_a_3997988181_3212880686_p_0,(void *)work_a_3997988181_3212880686_p_1,(void *)work_a_3997988181_3212880686_p_2,(void *)work_a_3997988181_3212880686_p_3,(void *)work_a_3997988181_3212880686_p_4,(void *)work_a_3997988181_3212880686_p_5};
	xsi_register_didat("work_a_3997988181_3212880686", "isim/sd_uart_test_tb_isim_beh.exe.sim/work/a_3997988181_3212880686.didat");
	xsi_register_executes(pe);
}
